package edu.pku.sei.transformation.pkuengine.equivalencegraph;


public abstract class EquivalenceElement<T> {
	protected int stats = STATS_NOT_VISITED;
	public static int STATS_NOT_VISITED = 0;
	public static int STATS_VISITING = 1;
	public static int STATS_VISITED = 2;
	private EquivalenceGraph graph;
	
	public EquivalenceElement(EquivalenceGraph graph) {
		this.graph = graph;
	}
	
	public EquivalenceGraph getGraph() {
		return graph;
	}
	
}
